Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
Artifact for "Inductive Program Synthesis Guided by Observational Program Similarity"
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Artifacts for PLDI'23, "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpre...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
Artifact of Trio: Inductive Synthesis of Structurally Recursive Functional Programs from Non-Recursi...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This code is the implementation for the first version of the paper titled "Just-in-Time Learning for...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
Artifact for "Inductive Program Synthesis Guided by Observational Program Similarity"
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Artifacts for PLDI'23, "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpre...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
Artifact of Trio: Inductive Synthesis of Structurally Recursive Functional Programs from Non-Recursi...
This repository contains the artifact for Verification-guided Programmatic Controller Synthesis
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This code is the implementation for the first version of the paper titled "Just-in-Time Learning for...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
DOI
Add to ORKG